1. An introduction to combinators and )Lambda(-calculus
پدیدآورنده : Hindley, J. Roger
کتابخانه: (طهران)
موضوع : ، Combinatory logic,، Lambda calculus
رده :
QA
9
.
5
.
H56I5
2. Basic simple type theory
پدیدآورنده : Hindley,J.Roger
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : ، programing languages)electronic computers(,، type theory
رده :
QA
76
.
7
.
H55
1996
3. Combinatory logic. Volume II
پدیدآورنده : [edited by] Haskell B. Curry, J. Roger Hindley, Jonathan P. Seldin.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Combinatory logic.,MATHEMATICS -- Infinity.,MATHEMATICS -- Logic.
4. Introduction to combinators and ]lambda[-calculus
پدیدآورنده : Hindley, J. Roger
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Combinatory logic,، Lambda calculus
رده :
QA
9
.
5
.
H56
1986
5. Lambda-calculus and combinators : an introduction
پدیدآورنده : Hindley, J. Roger
کتابخانه: (طهران)
موضوع : ، Lambda calculus,، Combinatory logic
رده :
QA
9
.
5
.
H56L3
6. Lambda-calculus and combinators, an introduction
پدیدآورنده : Hindley, J. Roger.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Lambda calculus,، Combinatory logic
رده :
QA
9
.
5
.
H565
2008
7. Typed lambda claculi and applications : third International Conference on Typed Lambda Calculi and applications, TLCA'97, Nancy, France, April 2-4, 1997 : proceedings
پدیدآورنده : Philippe de Groote, J. Roger Hindley )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Lambda calculus
رده :
QA
76
.
L28
Vol
.
1210
